Méthode de décomposition de domaine et de couplage pour des problèmes d’évolution

Méthode de décomposition de domaines pour l'équation de Schrödinger. (Domain decomposition method for Schrödinger equation)

This thesis focuses on the development and the implementation of domain decomposition methods for the linear and non-linear, one dimensional and two dimensional Schrödinger equations. In the first part, we focus on the Schwarz waveform relaxation method (SWR) for the one dimensional Schrödinger equation. In the case the potential is linear and time-independent, we propose a new algorithm that i...

Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information

RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

Algorithmes pour la résolution de problèmes d'optimisation et de minimax

Etude analytique de l'immunoprophylaxie de l'agalaxie contagieuse des chèvres et des moutons

Réductions De Domaine Lagrangiennes Pour Le Problème De Minimisation Des Pénalites D’avance Et De Retard Ponderées Sur Une Machine

RÉSUMÉ : Cet article présente de nouvelles règles d’élimination pour le problème de minimisation des pénalités d’avance et de retard sur une machine, avec ou sans dates de disponibilité. Ces règles, basées sur une décomposition lagrangienne, permettent de réduire considérablement les fenêtres d’exécution des tâches, et, ainsi, d’utiliser efficacement d’autres règles d’élimination classiques. Le...